束 (bundle)
summary.icon
呼び方が色々違う
definition.icon 束 $ \left\lang\textrm{Bundle}\colon e, b ; p \right\rang in $ C
where
$ e \colon C
$ b \colon C
$ p \colon e \twoheadrightarrow b
additional.icon
$ f_x = 1 ×_b e
$ p \colon e \twoheadrightarrow b と$ x \colon 1 \rightarrowtail b の引き戻し
より一般には一般化要素$ x \in b について考える $ s \colon b \rightarrowtail e
where
$ \left\lang\textrm{EP\ pair}\colon b, e; s, p \right\rang
i.e. $ s;p = \mathrm{id}_b